Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
591	On the Automated Implementation of Time-based Paxos Using the IOA Compiler ∗ Chryssis Georgiou† Procopis Hadjiprocopiou‡ Add to Reading List Source URL: www.cs.ucy.ac.cy Language: English - Date: 2010-09-22 05:54:39 Programming language theory Fault-tolerant computer systems Models of computation ALGOL 68 Consensus I/O Automaton Finite-state machine Computing Software engineering Automata theory
592	Aoraï Plugin Tutorial (A.k.a. LTL to ACSL) Nicolas Stouls and Virgile Prevosto [removed],[removed] Add to Reading List Source URL: frama-c.com Language: English - Date: 2015-03-17 11:33:40 Automaton Technology Computing Automata theory Software Frama-C Linear temporal logic
593	Aoraï Plugin Tutorial (A.k.a. LTL to ACSL) Nicolas Stouls and Virgile Prevosto [removed],[removed] Add to Reading List Source URL: frama-c.com Language: English - Date: 2015-03-17 11:33:40 Automaton Technology Computing Automata theory Software Frama-C Linear temporal logic
594	Ragel State Machine Compiler User Guide by Adrian Thurston Add to Reading List Source URL: www.colm.net Language: English - Date: 2014-11-28 15:51:12 Compiler construction Programming language implementation Pattern matching Automata theory Ragel Lex Finite-state machine Regular expression Parsing Computing Software Parser generators
595	International Journal "Information Theories & Applications" – Sample Sheet 1 TESTING AI IN ONE ARTIFICIAL WORLD1 Dimiter Dobrev Add to Reading List Source URL: www.dobrev.com Language: English - Date: 2007-10-02 05:26:14 Mathematics Tic-tac-toe Artificial intelligence Technology Finite-state machine Ai Algorithm Automaton Games Automata theory Theoretical computer science
596	The Ref proof-checker and its “common shared scenario” Eugenio G. Omodeo December 3, 2011 · · · l’histoire g´eologique nous montre que la vie n’est qu’un court ´episode entre deux ´eternit´es de mort, et Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 08:24:18 Function Automata theory Computability theory Theory of computation COMPASS/Sample Code IIHF World U18 Championships – Division II Mathematics Functions and mappings Constructible universe
597	Efficient submatch addressing for regular expressions Master’s Thesis Ville Laurikari Add to Reading List Source URL: laurikari.net Language: English - Date: 2010-10-05 00:06:57 Models of computation Computer science Applied mathematics Deterministic finite automaton Regular expression Finite-state machine Regular language Nondeterministic finite automaton String searching algorithm Automata theory Formal languages Theoretical computer science
598	Data Structures in Coco/R Hanspeter Mössenböck Johannes Kepler University Linz Institute of System Software April 2005 This technical note describes the data structures in the C# and Java implementations Add to Reading List Source URL: www.ssw.uni-linz.ac.at Language: English - Date: 2005-04-26 10:03:24 Formal languages Computer science Pattern matching Universal identifiers Nondeterministic finite automaton Deterministic automaton Terminal and nonterminal symbols Deterministic finite automaton International Article Number Automata theory Models of computation Theoretical computer science
599	Automated Implementation of Complex Distributed Algorithms Specified in the IOA Language∗ Chryssis Georgiou† Dept. of Computer Science University of Cyprus Add to Reading List Source URL: www.cs.ucy.ac.cy Language: English - Date: 2008-11-27 02:42:43 Computer science Tree automaton I/O Automaton Finite-state machine Message Passing Interface Model checking Automata theory Computing Theoretical computer science
600	Runtime Verification for LTL and TLTL ANDREAS BAUER NICTA and Australian National University MARTIN LEUCKER Technische Universit¨at M¨ unchen Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:35 Automata theory Logic in computer science Formal methods Models of computation Temporal logic Linear temporal logic Formal verification Runtime verification Model checking Theoretical computer science Logic Mathematical logic

UPDATE